1. Design and verification of microprocessor systems for high-assurance application
پدیدآورنده : / David S. Hardin, editor
کتابخانه: مكتبة معهد بحوث التأمين (طهران)
موضوع : Programmable controllers, Design and construction,Programmable controllers, Testing
رده :
TJ223
.
D4
2010